Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
461	Microsoft Word - Auditing Algorithms -- Sandvig -- ICA 2014 Data and Discrimination Preconference.docx Add to Reading List Source URL: social.cs.uiuc.edu Language: English - Date: 2015-10-08 22:46:00 Data processing Algorithm Mathematical logic Theoretical computer science Auditing Sorting algorithm Computing Mathematics Machine learning Academia
462	Proof Interpretations with Truth∗ Jaime Gaspar† Paulo Oliva‡ 12 August 2009 Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2011-05-03 06:44:12 Logic Constructivism Mathematical logic Proof theory Abstraction Predicate logic Dependently typed programming Intuitionism Realizability BrouwerHeytingKolmogorov interpretation Intuitionistic logic Quantifier
463	PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new i Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:21:17 Mathematical logic Quantification Logic Semantics Peano axioms Symbol Constructible universe Universal quantification Interpretation Uniform boundedness principle Witness Combinatory logic
464	Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]: Add to Reading List Source URL: www.wolframfoundation.org Language: English - Date: 2015-12-15 12:07:17 General topology Mathematics ACL2 Lisp Compact space Automated theorem proving Software Mathematical logic Model theory
465	Rooter: A Methodology for the Typical Unification of Access Points and Redundancy Jeremy Stribling, Daniel Aguayo and Maxwell Krohn A BSTRACT Many physicists would agree that, had it not been for congestion control, the Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2005-04-09 16:37:16 Theoretical computer science Mathematics Theory of computation Computability theory Models of computation Mathematical logic Formal methods Algorithm Turing machine Randomized algorithm IP Alan Turing
466	A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory Adam Yedidia Scott Aaronson Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2016-05-03 08:34:47 Mathematics Theoretical computer science Computability theory Mathematical logic Theory of computation Turing machine Models of computation Busy beaver Halting problem ZermeloFraenkel set theory Computability Computable function
467	On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-10-14 11:24:50 Proof theory Logic Mathematical logic Mathematics Computability theory Primitive recursive functional Dialectica interpretation Combinatory logic Continuous function
468	Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond Simon Cruanes École polytechnique and Inria https://who.rocq.inria.fr/Simon.Cruanes/ Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-09-09 10:21:01 Mathematical logic Theoretical computer science Mathematics Automated theorem proving Logic in computer science Model theory First-order logic Mathematical proof Unification Equality
469	Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2008-09-01 05:59:33 Mathematics Mathematical analysis Mathematical logic Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation First-order logic Limit of a function Peano axioms Spectral theory of ordinary differential equations
470	Tutorial on Universal Algebra, Mal’cev Conditions, and Finite Relational Structures: Lecture I Ross Willard University of Waterloo, Canada BLAST 2010 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:59:18 Mathematical structures Universal algebra Abstract algebra Algebraic structures Mathematical logic Algebra Variety Boolean algebra F-algebra Structure Boolean algebras canonically defined Heyting algebra

UPDATE